#ifndef __UTIL_H
#define __UTIL_H

#include <fstream>
using namespace std;

void printDoubleBits(ostream& o, double d);

#endif /* __UTIL_H */
